Yves Lafont : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (68)
Les plus populaires
Liste
- Liste
- Tableau

1

Advances in Linear Logic || Linear Logic: its syntax and semantics

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 289 KB

english, 1995

2

Advances in Linear Logic || Noncommutative proof nets

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.03 MB

1995

3

A folk model structure on omega-cat

Yves Lafont, François Métayer, Krzysztof Worytkiewicz

Journal:

Advances in Mathematics

Année:

2010

Langue:

english

Fichier:

PDF, 390 KB

english, 2010

4

Algebra and Geometry of Rewriting

Journal:

Applied Categorical Structures

Année:

2007

Langue:

english

Fichier:

PDF, 503 KB

english, 2007

5

Towards an algebraic theory of Boolean circuits

Journal:

Journal of Pure and Applied Algebra

Année:

2003

Langue:

english

Fichier:

PDF, 506 KB

english, 2003

6

Interaction Combinators

Journal:

Information and Computation

Année:

1997

Langue:

english

Fichier:

PDF, 542 KB

english, 1997

7

Alpha-1-Antitrypsin Labeling with Technetium-99m for Monitoring the Deposition of Alpha-1-Antitrypsin in Aerosol Therapy

Pannie Lafont, Gabriel Bellon, Nathalie Mein-Tapponnier, Guy Meurisse, Yves Barbier

Journal:

Nuclear Medicine and Biology

Année:

1998

Langue:

english

Fichier:

PDF, 261 KB

english, 1998

8

Nouveau règlement européen des dispositifs médicaux : comment l’écosystème français doit saisir l’opportunité d’EUDAMED et du système IUD, tout en dépassant les contraintes

Camus, Dorothée, Thiveaud, Dominique, Josseran, Anne, Barthélémy, Charles-Emmanuel, Chambrin, Pierre-Yves, Hebbrecht, Gilles, Lafont, Jeanine, Mazaud, Patrick, Pazart, Lionel, Soly, Philippe, Vaugelad

Journal:

Année:

2019

Langue:

french

Fichier:

PDF, 902 KB

french, 2019

9

New European medical device regulation: How the French ecosystem should seize the opportunity of the EUDAMED and the UDI system, while overcoming the constraints thereof

Camus, Dorothée, Thiveaud, Dominique, Josseran, Anne, Barthélémy, Charles-Emmanuel, Chambrin, Pierre-Yves, Hebbrecht, Gilles, Lafont, Jeanine, Mazaud, Patrick, Pazart, Lionel, Soly, Philippe, Vaugelad

Journal:

Année:

2019

Langue:

english

Fichier:

PDF, 782 KB

english, 2019

10

Advances in Linear Logic || Preface

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 265 KB

english, 1995

11

Advances in Linear Logic || Proof-nets and the Hilbert space

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 1.15 MB

1995

12

Advances in Linear Logic || Volume of mulitplicative formulas and provability

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Fichier:

PDF, 590 KB

1995

13

Bis-desulfoglucosinolates: A New Class of Bolaforms.

Dominique Lafont, Yves Chevalier, Valerie Grumel, Stephanie Cassel, Patrick Rollin

Journal:

Année:

2003

Fichier:

PDF, 115 KB

2003

14

Force Spectroscopy of the Interaction Between Mycobacterial Adhesins and Heparan Sulphate Proteoglycan Receptors

Vincent Dupres, Claire Verbelen, Dominique Raze, Frank Lafont, Yves F. Dufrêne

Journal:

Année:

2009

Langue:

english

Fichier:

PDF, 344 KB

english, 2009

15

Synthesis and surface-active properties of some alkyl 2-amino-2-deoxy-β-d-glucopyranosides

Paul Boullanger, Yves Chevalier, Marie-Christine Croizier, Dominique Lafont, Marie-Rose Sancho

Journal:

Carbohydrate Research

Année:

1995

Langue:

english

Fichier:

PDF, 571 KB

english, 1995

16

A new finiteness condition for monoids presented by complete rewriting systems (after Craig C. Squier)

Journal:

Journal of Pure and Applied Algebra

Année:

1995

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1995

17

Polygraphic resolutions and homology of monoids

Yves Lafont, François Métayer

Journal:

Journal of Pure and Applied Algebra

Année:

2009

Langue:

english

Fichier:

PDF, 1.83 MB

english, 2009

18

Soft linear logic and polynomial time

Journal:

Theoretical Computer Science

Année:

2004

Langue:

english

Fichier:

PDF, 340 KB

english, 2004

19

Synthesis and surface-active properties of amphiphilic 6-aminocarbonyl derivatives of d-glucose

Valérie Maunier, Paul Boullanger, Dominique Lafont, Yves Chevalier

Journal:

Carbohydrate Research

Année:

1997

Langue:

english

Fichier:

PDF, 944 KB

english, 1997

20

Comparison of random amplified polymorphic DNA analysis and enterobacterial repetitive intergenic consensus-PCR for epidemiological studies of Salmonella

Yves Millemann, Marie-Claude Lesage-Descauses, Jean-Pierre Lafont, Elisabeth Chaslus-Dancla

Journal:

FEMS Immunology & Medical Microbiology

Année:

1996

Langue:

english

Fichier:

PDF, 506 KB

english, 1996

21

The Undecidability of Second Order Multiplicative Linear Logic

Yves Lafont, Andre Scedrov

Journal:

Information and Computation

Année:

1996

Langue:

english

Fichier:

PDF, 318 KB

english, 1996

22

Implication of the C-Terminal Domain of Nef Protein in the Reversion to Pathogenicity of Attenuated SIVmacBK28-41 in Macaques

Bernard A.P. Lafont, Yves Rivière, Liliane Gloeckler, Christian Beyer, Bruno Hurtrel, Marie Paule Kieny, André Kirn, Anne Marie Aubertin

Journal:

Année:

2000

Langue:

english

Fichier:

PDF, 423 KB

english, 2000

23

The natural marine anhydrophytosphingosine, Jaspine B, induces apoptosis in melanoma cells by interfering with ceramide metabolism

Yahya Salma, Elodie Lafont, Nicole Therville, Stéphane Carpentier, Marie-José Bonnafé, Thierry Levade, Yves Génisson, Nathalie Andrieu-Abadie

Journal:

Biochemical Pharmacology

Année:

2009

Langue:

english

Fichier:

PDF, 544 KB

english, 2009

24

A specific immunoradiometric assay of cationic trypsin(ogen) that does not recognize trypsin-alpha-1-proteinase inhibitor complex

Pannie Lafont, Odette Guy-Crotte, Christian Paulin, Dany Galvain, Syham Mertani, Catherine Figarella, Yves Barbier

Journal:

Clinica Chimica Acta

Année:

1995

Langue:

english

Fichier:

PDF, 588 KB

english, 1995

25

Comparison of random amplified polymorphic DNA analysis and enterobacterial repetitive intergenic consensus-PCR for epidemiological studies of Salmonella

Yves Millemann, Marie-Claude Lesage-Descauses, Jean-Pierre Lafont, Elisabeth Chaslus-Dancla

Journal:

FEMS Immunology & Medical Microbiology

Année:

1996

Langue:

english

Fichier:

PDF, 529 KB

english, 1996

26

Optimized strategies to synthesize β-cyclodextrin-oxime conjugates as a new generation of organophosphate scavengers

Le Provost, Romain, Wille, Timo, Louise, Ludivine, Masurier, Nicolas, Müller, Susanne, Reiter, Georg, Renard, Pierre-Yves, Lafont, Olivier, Worek, Franz, Estour, François

Journal:

Organic & Biomolecular Chemistry

Année:

2011

Langue:

english

Fichier:

PDF, 260 KB

english, 2011

27

[ACM Press the 17th ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1990..-..)] Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '90 - Interaction nets

Année:

1990

Langue:

english

Fichier:

PDF, 781 KB

english, 1990

28

121 Échographie de la membrane inter-osseuse de l’avant-bras : un protocole et un signe original (« signe de la hernie musculaire provoquée »)

Soubeyrand, Marc, Welby, France, Maulat, Ivan, Lafont, Clarisse, Degeorges, Renaud, Belkheyar, Zoubir, Teboul, Frédéric, Vandebrouk, Amaury, Beaulieu, Jean-Yves, Durand, Sébastien, Oberlin, Christophe

Journal:

Revue de Chirurgie Orthopédique et Réparatrice de l'Appareil Moteur

Année:

2004

Langue:

french

Fichier:

PDF, 56 KB

french, 2004

29

BIS -DESULFOGLUCOSINOLATES: A NEW CLASS OF BOLAFORMS

Lafont, Dominique, Chevalier, Yves, Grumel, Valérie, Cassel, Stéphanie, Rollin, Patrick

Journal:

Synthetic Communications

Année:

2002

Langue:

english

Fichier:

PDF, 270 KB

english, 2002

30

Stimulated production of ATP by H 2 O 2 disproportionation in extracts from normal and xeroderma pigmentosum skins, and from normal, xeroderma pigmentosum, ataxia telangiectasia and simian virus 40 transformed cell lines

Vuillaume, Monique, Best-Belpomme, Martin, Lafont, René, Hubert, Michelle, Decroix, Yves, Sarasin, Alain

Journal:

Année:

1989

Langue:

english

Fichier:

PDF, 554 KB

english, 1989

31

Production and Characterization of Two Monoclonal Antibodies to Human Pancreatic Trypsin 1

LAFONT, PANNIE, PAULIN, CHRISTIAN, BRAYLE, ALEX, FIGARELLA, CATHERINE, BARBIER, YVES, GUY-CROTTE, ODETTE

Journal:

Année:

1990

Langue:

english

Fichier:

PDF, 2.37 MB

english, 1990

32

Syntheses of d -Glucosaminyl Bolaamphiphiles 1

Lafont, Dominique, Boullanger, Paul, Chevalier, Yves

Journal:

Journal of Carbohydrate Chemistry

Année:

1995

Langue:

english

Fichier:

PDF, 856 KB

english, 1995

33

Church-Rooser property and homology of monoids

Lafont, Yves, Prouté, Alain

Journal:

Mathematical Structures in Computer Science

Année:

1991

Langue:

english

Fichier:

PDF, 3.37 MB

english, 1991

34

The undecidability of second order linear logic without exponentials

Journal:

Journal of Symbolic Logic

Année:

1996

Langue:

english

Fichier:

PDF, 528 KB

english, 1996

35

Preventable Iatrogenic Disability in Elderly Patients During Hospitalization

Sourdet, Sandrine, Lafont, Christine, Rolland, Yves, Nourhashemi, Fati, Andrieu, Sandrine, Vellas, Bruno

Journal:

Journal of the American Medical Directors Association

Année:

2015

Langue:

english

Fichier:

PDF, 772 KB

english, 2015

36

Rehabilitation outcome of elderly patients with hip fracture and cognitive impairment

Rolland, Yves, Pillard, Fabien, Lauwers-Cances, Valérie, Busquère, Florence, Vellas, Bruno, Lafont, Christine

Journal:

Disability & Rehabilitation

Année:

2004

Langue:

english

Fichier:

PDF, 320 KB

english, 2004

37

The finite model property for various fragments of linear logic

Journal:

Journal of Symbolic Logic

Année:

1997

Langue:

english

Fichier:

PDF, 197 KB

english, 1997

38

Control of Ventricular Ciliary Beating by the Melanin Concentrating Hormone-Expressing Neurons of the Lateral Hypothalamus: A Functional Imaging Survey

Conductier, Grégory, Martin, Agnès O., Risold, Pierre-Yves, Jego, Sonia, Lavoie, Raphaël, Lafont, Chrystel, Mollard, Patrice, Adamantidis, Antoine, Nahon, Jean-Louis

Journal:

Frontiers in Endocrinology

Année:

2013

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2013

39

Foreword

Ehrhard, Thomas, Lafont, Yves, Regnier, Laurent

Journal:

Mathematical Structures in Computer Science

Année:

1998

Langue:

english

Fichier:

PDF, 53 KB

english, 1998

40

Plasma Insulin-Like Growth Factor I Levels in the Elderly: Relation to Plasma Dehydroepiandrosterone Sulfate Levels, Nutritional Status, Health and Mortality

Raynaud-Simon, Agathe, Lafont, Sylviane, Berr, Claudine, Dartigues, Jean-François, Baulieu, Emile-Etienne, Le Bouc, Yves

Journal:

Année:

2001

Langue:

english

Fichier:

PDF, 179 KB

english, 2001

41

Role of Hydrophobins in Aspergillus fumigatus

Valsecchi, Isabel, Dupres, Vincent, Stephen-Victor, Emmanuel, Guijarro, J., Gibbons, John, Beau, Rémi, Bayry, Jagadeesh, Coppee, Jean-Yves, Lafont, Frank, Latgé, Jean-Paul, Beauvais, Anne

Journal:

Journal of Fungi

Année:

2017

Langue:

english

Fichier:

PDF, 4.50 MB

english, 2017

42

Advances in Linear Logic || Sequent calculi for second order logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 783 KB

english, 1995

43

Advances in Linear Logic || The direct simulation of Minsky machines in linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 909 KB

english, 1995

44

Advances in Linear Logic || Noncommutative proof nets

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.03 MB

english, 1995

45

Advances in Linear Logic || Empires and kingdoms in MLL-

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.17 MB

english, 1995

46

Advances in Linear Logic || Stochastic interaction and linear logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.10 MB

english, 1995

47

Advances in Linear Logic || Deciding provability of linear logic formulas

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 923 KB

english, 1995

48

Advances in Linear Logic || A category arising in linear logic, complexity theory and set theory

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 1.39 MB

english, 1995

49

Advances in Linear Logic || Geometry of interaction III: accommodating the additives

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 2.80 MB

english, 1995

50

Advances in Linear Logic || Volume of mulitplicative formulas and provability

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent

Année:

1995

Langue:

english

Fichier:

PDF, 590 KB

english, 1995